1. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
2. Introduction to computability
پدیدآورنده :
موضوع : Turing machines,Algorithms,Computational complexity,Recursive function
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
4. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
5. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده : editors Ernst Specker, Volker Strassen
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
6. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,